Reading Between the Lines in Constructive Type Theory
نویسنده
چکیده
We formulaic and investigate various ways of (conservatively) extending Martin-LoTs type theories with separation types and choice principles and demonstrate how these extensions can be employed to formalize Bishop's mathematical practice of hiding and recovering witnessing information.
منابع مشابه
Reading the first period (1627-1631) self-portraits by Rembrandt based on the concept of Das Ding in Lacan Theory
Rembrandt, in his early self-portraits, clearly forbids the audience from seeing. The distinguishing feature of these works not in the clearly displayed sections, but in the glorious representation of the lost information. In other words, Rembrandt uses visual principles and qualities in order not to represent himself accurately. This prompted the researcher to read psychoanalytically the self...
متن کاملAn Activity Theory Perspective on the Role of Cooperative Assessment in the Reading Comprehension of Iranian EFL Learners
Reading comprehension has recently been reconceptualized in EFL reading instruction to foreground the importance of putting a social perspective on learning. Developed as a crucial aspect of Vygotskian sociocultural theory, activity theory views reading as a socially-mediated activity, for which the prerequisite cognitive processes are distributed among teacher, individual reader, other student...
متن کاملکاربست نظریه مبادله اجتماعی در توسعه فرهنگ مطالعه
Purpose: In this paper, the main focus is on the generalization of doctrine of social exchange theory, precisely Homans’ opinions, to book reading problem in Iran. This theory has faculties that can help us to better understanding the reading problem barriers. Methodology: the type of this paper is analytical and I used library research method for achieving the purpose. Findings: Social world...
متن کاملReading Performance of Iranian EFL Learners in Paper and Digital texts
Dependence on computers and internet has given birth to digital literacy. However, research into its influences on the reading process is still in its infancy. To fill the gap, this study was designed to investigate the ways in which text presentation mode (paper vs. digital) affects reading comprehension, as well as reading attitudes. To this end, a sample of 30 male and female English major s...
متن کاملIranian EFL Learners' Perception of the Efficacy of Activity Theory-based Reading Comprehension
Any language classroom is a distinctive learning context offering numerous affordances that might be perceived effectively, remain unnoticed, or even act as constraints. Therefore, exploring students' perception toward a particular method of instruction is crucial since it may produce a reliable piece of evidence for teachers to confirm or refute the effectiveness of the intended instructional ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 7 شماره
صفحات -
تاریخ انتشار 1997